1![Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo](https://www.pdfsearch.io/img/3a38b88c0449b6c51a1bf76c0cbd197c.jpg) | Add to Reading ListSource URL: unsat.cs.washington.eduLanguage: English - Date: 2018-08-21 17:45:06
|
---|
2![Technical Report UW-CSEPorting Hyperkernel to the ARM Architecture Dylan Johnson University of Washington Technical Report UW-CSEPorting Hyperkernel to the ARM Architecture Dylan Johnson University of Washington](https://www.pdfsearch.io/img/89002f55b50b0299ba9e1fee9e995a5d.jpg) | Add to Reading ListSource URL: unsat.cs.washington.eduLanguage: English - Date: 2018-08-21 17:45:06
|
---|
3![Effective Attacks and Provable Defenses for Website Fingerprinting Tao Wang, University of Waterloo; Xiang Cai, Rishab Nithyanand, and Rob Johnson, Stony Brook University; Ian Goldberg, University of Waterloo https://www Effective Attacks and Provable Defenses for Website Fingerprinting Tao Wang, University of Waterloo; Xiang Cai, Rishab Nithyanand, and Rob Johnson, Stony Brook University; Ian Goldberg, University of Waterloo https://www](https://www.pdfsearch.io/img/ad199d750b8c20e4f55d00430bbfee6c.jpg) | Add to Reading ListSource URL: www.usenix.orgLanguage: English - Date: 2016-02-20 08:19:38
|
---|
4![Dissent in Numbers: Making Strong Anonymity Scale David Isaac Wolinsky, Henry Corrigan-Gibbs, and Bryan Ford Yale University Aaron Johnson U.S. Naval Research Laboratory Dissent in Numbers: Making Strong Anonymity Scale David Isaac Wolinsky, Henry Corrigan-Gibbs, and Bryan Ford Yale University Aaron Johnson U.S. Naval Research Laboratory](https://www.pdfsearch.io/img/d8351a8e6b3c973155252f8da1c83918.jpg) | Add to Reading ListSource URL: www.usenix.orgLanguage: English |
---|
5![Haiying Tao Department of Crop and Soil Sciences Washington State University 161 Johnson Hall Pullman, WATel: Haiying Tao Department of Crop and Soil Sciences Washington State University 161 Johnson Hall Pullman, WATel:](https://www.pdfsearch.io/img/9a9b3e690246fe49d5ffa5a699652220.jpg) | Add to Reading ListSource URL: css.wsu.eduLanguage: English - Date: 2018-06-27 10:43:04
|
---|
6![David J. Brown Department of Crop and Soil Sciences Washington State University 201 Johnson Hall, P.O. BoxPullman, WA David J. Brown Department of Crop and Soil Sciences Washington State University 201 Johnson Hall, P.O. BoxPullman, WA](https://www.pdfsearch.io/img/4e2af89320508a5d026cad49409c8833.jpg) | Add to Reading ListSource URL: css.wsu.eduLanguage: English - Date: 2018-06-27 10:41:17
|
---|
7![Expanding the concept of Networked Learning Mike Johnson Cardiff School of Nursing and Midwifery Studies, Cardiff University, Abstract This paper is founded on the belief that the concept of Networked Expanding the concept of Networked Learning Mike Johnson Cardiff School of Nursing and Midwifery Studies, Cardiff University, Abstract This paper is founded on the belief that the concept of Networked](https://www.pdfsearch.io/img/3fceeb4e9cd926d30da7426120c980a6.jpg) | Add to Reading ListSource URL: www.networkedlearningconference.org.ukLanguage: English - Date: 2017-05-02 09:14:42
|
---|
8![A Hierarchical Approach for Generating Descriptive Image Paragraphs Jonathan Krause Justin Johnson Ranjay Krishna Stanford University A Hierarchical Approach for Generating Descriptive Image Paragraphs Jonathan Krause Justin Johnson Ranjay Krishna Stanford University](https://www.pdfsearch.io/img/a84d70f3b0bdcfbc4f418eced4d8d586.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2016-11-21 20:32:13
|
---|
9![Facebook and Privacy: It’s Complicated Maritza Johnson Columbia University Serge Egelman Facebook and Privacy: It’s Complicated Maritza Johnson Columbia University Serge Egelman](https://www.pdfsearch.io/img/5b96938bb49f0daedf162898278598da.jpg) | Add to Reading ListSource URL: maritzajohnson.comLanguage: English - Date: 2016-01-19 22:23:42
|
---|
10![Cooperating Raleigh Colleges (CRC) CHIEF FINANCIAL OFFICERS COMMITTEE MEETING NC State University, Joyner Visitor Center October 26, 2017, 3 p.m. Lori Johnson, Chair, Host In Attendance: Lori Johnson, Senior Director of Cooperating Raleigh Colleges (CRC) CHIEF FINANCIAL OFFICERS COMMITTEE MEETING NC State University, Joyner Visitor Center October 26, 2017, 3 p.m. Lori Johnson, Chair, Host In Attendance: Lori Johnson, Senior Director of](https://www.pdfsearch.io/img/16a976069ff6952aed4f29522d53d817.jpg) | Add to Reading ListSource URL: crcraleighcolleges.org.s101735.gridserver.comLanguage: English - Date: 2018-01-18 15:35:39
|
---|